formal methods

n. 形式化方法
[网络] 形式方法；正规方法；正规化方法

热门查询

reset　　n. 重新设定；重新组合；重排版 vt. 重置；重新设定；重新组合 vi. 重置；清零
gweilo　　（东南亚用语，尤指西方人）外国佬，鬼佬
blooded　　adj. 血统优良的；有血的
toper　　n. 豪饮者，酒徒
dander　　n. 头皮屑（等于dandruff）；怒气；（苏格兰）闲逛；（英）颤抖 vi. 说话语无伦次；闲逛
Bournemouth　　n. 伯恩茅斯（英国地名）
accrete　　adj. 合生的；增积的 vt. 使依附；使连接；把…吸引过来 vi. 合生；增大生长；依附
Ainsworth　　[人名] [英格兰人姓氏] 安斯沃思住所名称，来源于古英语人名，含义是“自己的”(own)+古英语，含义是“圈用地”(enclosure); [地名] [美国] 安斯沃思
aft　　n. 自动存款取款 adv. [船] 在船尾；近船尾 n. (Aft)人名；(英)阿夫特
industriousness　　n. 勤勉，勤奋
incapacitation　　n. 无能力；使无能力；使无资格
drainpipe　　n. 排水管；瘦裤腿（口语，单复数相同）
gyrus　　n. [解剖] 脑回（形成大脑半球的组织）；回转
unsubtle　　adj. 不细致的；不敏锐的；不灵巧的
Jerzy　　n. (Jerzy)人名；(波)耶日
sincerely　　adv. 真诚地；由衷地，诚恳地
preceptor　　n. 校长；教师；指导医师
McNair　　[人名] [苏格兰人姓氏] 麦克奈尔盖尔语姓氏的英语形式，含义是“肤色灰黄的约翰之子”(son of sallow John); [人名] [苏格兰人姓氏] 麦克奈尔盖尔语姓氏的英语形式，含义是“继承人之子”(son of the heir); [人名] [爱尔兰姓氏] 麦克奈尔盖尔语姓氏的英语形式，含义是“管家之子”(son of the steward); [地名] [美国] 麦克奈尔
bodega　　n. 酒店；酒窖 n. (Bodega)人名；(西)博德加
dugout　　n. 独木舟；防空壕；棒球场边供球员休息的地方